False, no states satisfying <{1,2}, 2>Xa have been found!